Readd line removed by mistake in the previous commit

diff --git a/gtk/gtknotebook.c b/gtk/gtknotebook.c
index 43bf4c8f6b194e49aeb438df2b773067e2045de8..175b61c803cd7d998a6dac1c1aa1ca1e1cd2e6c8 100644 (file)
--- a/gtk/gtknotebook.c
+++ b/gtk/gtknotebook.c
@@ -3303,6 +3303,10 @@ gtk_notebook_leave_notify (GtkWidget        *widget,
 {
   GtkNotebook *notebook = GTK_NOTEBOOK (widget);
   GtkNotebookPrivate *priv = notebook->priv;
+  gint x, y;
+
+  if (!get_widget_coordinates (widget, (GdkEvent *)event, &x, &y))
+    return FALSE;
 
   if (priv->prelight_tab != NULL)
     {